NOW: Orchestrating services in a nomadic network using a dedicated workflow language

AbstractOrchestrating services in nomadic or mobile ad hoc networks is not without a challenge, since these environments are built upon volatile connections. Services residing on mobile devices are exposed to (temporary) network failures, which must be considered the rule rather than the exception. This paper proposes a dedicated workflow language built on top of an ambient-oriented programming language that supports dynamic service discovery and communication primitives resilient to network failures. The proposed workflow language, NOW, has support for high level workflow abstractions for control flow, rich network and service failure detection, and failure handling through compensating actions, and dynamic data flow between the services in the environment. By adding this extra layer of abstraction, the application programmer is offered a flexible way to develop applications for nomadic networks

Target oriented relational model finding

Lecture Notes in Computer Science 8411, 2014Model finders are becoming useful in many software engineering problems. Kodkod is one of the most popular, due to its support for relational logic (a combination of first order logic with relational algebra operators and transitive closure), allowing a simpler specification of constraints, and support for partial instances, allowing the specification of a priori (exact, but potentially partial) knowledge about a problem's solution. However, in some software engineering problems, such as model repair or bidirectional model transformation, knowledge about the solution is not exact, but instead there is a known target that the solution should approximate. In this paper we extend Kodkod's partial instances to allow the specification of such targets, and show how its model finding procedure can be adapted to support them (using both PMax-SAT solvers or SAT solvers with cardinality constraints). Two case studies are also presented, including a careful performance evaluation to assess the effectiveness of the proposed extension.(undefined

Testing M2T/T2M Transformations

Presentado en: 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). Del 29 de septiembre al 4 de octubre. Miami, EEUU.Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations for the input domain and for the output domain of the transformation. This excludes other important transformation kinds, such as model-to-text (M2T) and text-to-model (T2M) transformations, from being properly tested since adequate model representations are missing either for the input domain or for the output domain. The contribution of this paper to overcome this gap is extending Tracts, a M2M transformation testing approach, for M2T/T2M transformation testing. The main mechanism we employ for reusing Tracts is to represent text within a generic metamodel. By this, we transform the M2T/T2M transformation specification problems into equivalent M2M transformation specification problems. We demonstrate the applicability of the approach by two examples and present how the approach is implemented for the Eclipse Modeling Framework (EMF). Finally, we apply the approach to evaluate code generation capabilities of several existing UML tools.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyecto TIN2011-2379

Grand canonical ensemble in generalized thermostatistics

We study the grand-canonical ensemble with a fluctuating number of degrees of freedom in the context of generalized thermostatistics. Several choices of grand-canonical entropy functional are considered. The ideal gas is taken as an example.Comment: 14 pages, no figure

Does an antibiotic-loaded hydrogel coating reduce early post-surgical infection after joint arthroplasty?

Background: Infection remains among the main reasons for joint prosthesis failure. Preclinical reports have suggested that antibacterial coatings of implants may prevent bacterial adhesion and biofilm formation. This study presents the results of the first clinical trial on an antibiotic-loaded fast-resorbable hydrogel coating (Defensive Antibacterial Coating, DAC®) in patients undergoing hip or knee prosthesis. Methods: In this multicenter, randomized prospective study, a total of 380 patients, scheduled to undergo primary (n=270) or revision (n=110) total hip (N=298) or knee (N=82) joint replacement with a cementless or a hybrid implant, were randomly assigned, in six European orthopedic centers, to receive an implant either with the antibiotic-loaded DAC coating (treatment group) or without coating (control group). Pre- and postoperative assessment of clinical scores, wound healing, laboratory tests, and x-ray exams were performed at fixed time intervals. Results: Overall, 373 patients were available at a mean follow-up of 14.5 ± 5.5 months (range 6 to 24). On average, wound healing, laboratory and radiographic findings showed no significant difference between the two groups. Eleven early surgical site infections were observed in the control group and only one in the treatment group (6% vs. 0.6%; p=0.003). No local or systemic side effects related to the DAC hydrogel coating were observed, and no detectable interference with implant osteointegration was noted. Conclusions: The use of a fast-resorbable, antibiotic-loaded hydrogel implant coating can reduce the rate of early surgical site infections, without any detectable adverse events or side effects after hip or knee joint replacement with a cementless or hybrid implant

The optimized Rayleigh-Ritz scheme for determining the quantum-mechanical spectrum

The convergence of the Rayleigh-Ritz method with nonlinear parameters optimized through minimization of the trace of the truncated matrix is demonstrated by a comparison with analytically known eigenstates of various quasi-solvable systems. We show that the basis of the harmonic oscillator eigenfunctions with optimized frequency ? enables determination of boundstate energies of one-dimensional oscillators to an arbitrary accuracy, even in the case of highly anharmonic multi-well potentials. The same is true in the spherically symmetric case of V (r) = {\omega}2r2 2 + {\lambda}rk, if k > 0. For spiked oscillators with k < -1, the basis of the pseudoharmonic oscillator eigenfunctions with two parameters ? and {\gamma} is more suitable, and optimization of the latter appears crucial for a precise determination of the spectrum.Comment: 22 pages,8 figure

Superstatistical distributions from a maximum entropy principle

We deal with a generalized statistical description of nonequilibrium complex systems based on least biased distributions given some prior information. A maximum entropy principle is introduced that allows for the determination of the distribution of the fluctuating intensive parameter $\beta$ of a superstatistical system, given certain constraints on the complex system under consideration. We apply the theory to three examples: The superstatistical quantum mechanical harmonic oscillator, the superstatistical classical ideal gas, and velocity time series as measured in a turbulent Taylor-Couette flow

Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior

International audienceModel-driven development of large-scale software systems is highly likely to produce models that describe the systems from many diverse perspectives using a variety of modeling languages. Checking and maintaining consistency of information captured in such multi-modeling environments is known to be challenging. In this paper we describe an approach to systematically synchronize multi-models. The approach specifically addresses the problem of synchronizing business processes and domain models in a Service-oriented Architecture development environment. In the approach, the human effort required to synchronize independently developed models is supplemented with significant automated support. This process is used to identify concept divergences, that is, a concept in one model which cannot be matched with concepts in the other model. We automate the propagation of divergence resolution decisions across the conflicting models. We illustrate the approach using models developed for a Car Crash Crisis Management System (CCCMS), a case study problem used to assess Aspect-oriented Modeling approaches